package extensionTools.smvCreator;

import java.util.Dictionary;
import java.util.Hashtable;


/**
 * This class represents a state in OPM
 * @author Oshrit & Lital
 *
 */
public class State
{
        public enum stateType {sInitial, sNone};
        
        private String name;
        private stateType type;
        private long id;
        private long objectId;
        private Dictionary<String, Long> destState;

        /**
         * Class constructor
         */
        public State() 
        {
        	destState = new Hashtable<String, Long>();
        }
        
        public void setName(String name) {
                this.name = SmvOp.setFirstCharToLowerCase(name.replaceAll(" ", "_").replaceAll("\n", "_"));
        }
        public String getName() {
                return name;
        }
        
        public void setType(stateType sinitial) {
                this.type = sinitial;
        }
        public stateType getType() {
                return type;
        }
        
        public void setObjectId(long objectId) {
                this.objectId = objectId;
        }
        public long getObjectId() {
                return objectId;
        }

        public void setId(long id) {
                this.id = id;
        }

        public long getId() {
                return id;
        }

		public void setDestStateId(Dictionary<String, Long> destState) {
			this.destState = destState;
		}

		public Dictionary<String, Long> getDestStateId() {
			return destState;
		}       
}
